home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / lib / tex / inputs / pslatex / h-sc.pl < prev    next >
Text File  |  1991-05-20  |  16KB  |  848 lines

  1. (DESIGNSIZE R 10.0)
  2. (COMMENT DESIGNSIZE IS IN POINTS)
  3. (COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE)
  4. (CODINGSCHEME AdobeStandardEncoding)
  5. (FAMILY Helvetica)
  6. (FONTDIMEN
  7.    (SLANT R 0.000000)
  8.    (SPACE R 0.305800)
  9.    (STRETCH R 0.152900)
  10.    (SHRINK R 0.101933)
  11.    (XHEIGHT R 0.583000)
  12.    (QUAD R 1.0)
  13.    (EXTRASPACE R 0.101933)
  14.    )
  15. (CHARACTER O 40
  16.    (CHARWD R 0.278000)
  17.    )
  18. (CHARACTER O 41
  19.    (CHARWD R 0.278000)
  20.    (CHARHT R 0.729000)
  21.    )
  22. (CHARACTER O 42
  23.    (CHARWD R 0.355000)
  24.    (CHARHT R 0.708000)
  25.    )
  26. (CHARACTER O 43
  27.    (CHARWD R 0.556000)
  28.    (CHARHT R 0.698000)
  29.    (CHARDP R 0.020000)
  30.    )
  31. (CHARACTER O 44
  32.    (CHARWD R 0.556000)
  33.    (CHARHT R 0.770000)
  34.    (CHARDP R 0.125000)
  35.    )
  36. (CHARACTER O 45
  37.    (CHARWD R 0.889000)
  38.    (CHARHT R 0.708000)
  39.    (CHARDP R 0.020000)
  40.    )
  41. (CHARACTER O 46
  42.    (CHARWD R 0.667000)
  43.    (CHARHT R 0.710000)
  44.    (CHARDP R 0.023000)
  45.    )
  46. (CHARACTER O 47
  47.    (CHARWD R 0.222000)
  48.    (CHARHT R 0.708000)
  49.    )
  50. (CHARACTER O 50
  51.    (CHARWD R 0.333000)
  52.    (CHARHT R 0.729000)
  53.    (CHARDP R 0.213000)
  54.    )
  55. (CHARACTER O 51
  56.    (CHARWD R 0.333000)
  57.    (CHARHT R 0.729000)
  58.    (CHARDP R 0.213000)
  59.    )
  60. (CHARACTER O 52
  61.    (CHARWD R 0.389000)
  62.    (CHARHT R 0.740000)
  63.    )
  64. (CHARACTER O 53
  65.    (CHARWD R 0.584000)
  66.    (CHARHT R 0.474000)
  67.    (CHARDP R 0.010000)
  68.    )
  69. (CHARACTER O 54
  70.    (CHARWD R 0.278000)
  71.    (CHARHT R 0.104000)
  72.    (CHARDP R 0.150000)
  73.    )
  74. (CHARACTER O 55
  75.    (CHARWD R 0.333000)
  76.    (CHARHT R 0.313000)
  77.    )
  78. (CHARACTER O 56
  79.    (CHARWD R 0.278000)
  80.    (CHARHT R 0.104000)
  81.    )
  82. (CHARACTER O 57
  83.    (CHARWD R 0.278000)
  84.    (CHARHT R 0.708000)
  85.    (CHARDP R 0.021000)
  86.    (CHARIC R 0.006000)
  87.    )
  88. (CHARACTER C 0
  89.    (CHARWD R 0.556000)
  90.    (CHARHT R 0.709000)
  91.    (CHARDP R 0.023000)
  92.    )
  93. (CHARACTER C 1
  94.    (CHARWD R 0.556000)
  95.    (CHARHT R 0.709000)
  96.    )
  97. (CHARACTER C 2
  98.    (CHARWD R 0.556000)
  99.    (CHARHT R 0.710000)
  100.    )
  101. (CHARACTER C 3
  102.    (CHARWD R 0.556000)
  103.    (CHARHT R 0.709000)
  104.    (CHARDP R 0.023000)
  105.    )
  106. (CHARACTER C 4
  107.    (CHARWD R 0.556000)
  108.    (CHARHT R 0.709000)
  109.    )
  110. (CHARACTER C 5
  111.    (CHARWD R 0.556000)
  112.    (CHARHT R 0.709000)
  113.    (CHARDP R 0.023000)
  114.    )
  115. (CHARACTER C 6
  116.    (CHARWD R 0.556000)
  117.    (CHARHT R 0.709000)
  118.    (CHARDP R 0.023000)
  119.    )
  120. (CHARACTER C 7
  121.    (CHARWD R 0.556000)
  122.    (CHARHT R 0.709000)
  123.    )
  124. (CHARACTER C 8
  125.    (CHARWD R 0.556000)
  126.    (CHARHT R 0.709000)
  127.    (CHARDP R 0.023000)
  128.    )
  129. (CHARACTER C 9
  130.    (CHARWD R 0.556000)
  131.    (CHARHT R 0.709000)
  132.    (CHARDP R 0.023000)
  133.    )
  134. (CHARACTER O 72
  135.    (CHARWD R 0.278000)
  136.    (CHARHT R 0.525000)
  137.    )
  138. (CHARACTER O 73
  139.    (CHARWD R 0.278000)
  140.    (CHARHT R 0.516000)
  141.    (CHARDP R 0.150000)
  142.    )
  143. (CHARACTER O 74
  144.    (CHARWD R 0.584000)
  145.    (CHARHT R 0.474000)
  146.    (CHARDP R 0.010000)
  147.    )
  148. (CHARACTER O 75
  149.    (CHARWD R 0.584000)
  150.    (CHARHT R 0.352000)
  151.    )
  152. (CHARACTER O 76
  153.    (CHARWD R 0.584000)
  154.    (CHARHT R 0.474000)
  155.    (CHARDP R 0.010000)
  156.    )
  157. (CHARACTER O 77
  158.    (CHARWD R 0.556000)
  159.    (CHARHT R 0.738000)
  160.    )
  161. (CHARACTER O 100
  162.    (CHARWD R 1.015000)
  163.    (CHARHT R 0.737000)
  164.    (CHARDP R 0.146000)
  165.    )
  166. (CHARACTER C A
  167.    (CHARWD R 0.667000)
  168.    (CHARHT R 0.729000)
  169.    )
  170. (CHARACTER C B
  171.    (CHARWD R 0.667000)
  172.    (CHARHT R 0.729000)
  173.    )
  174. (CHARACTER C C
  175.    (CHARWD R 0.722000)
  176.    (CHARHT R 0.741000)
  177.    (CHARDP R 0.023000)
  178.    )
  179. (CHARACTER C D
  180.    (CHARWD R 0.722000)
  181.    (CHARHT R 0.729000)
  182.    )
  183. (CHARACTER C E
  184.    (CHARWD R 0.667000)
  185.    (CHARHT R 0.729000)
  186.    )
  187. (CHARACTER C F
  188.    (CHARWD R 0.611000)
  189.    (CHARHT R 0.729000)
  190.    )
  191. (CHARACTER C G
  192.    (CHARWD R 0.778000)
  193.    (CHARHT R 0.741000)
  194.    (CHARDP R 0.023000)
  195.    )
  196. (CHARACTER C H
  197.    (CHARWD R 0.722000)
  198.    (CHARHT R 0.729000)
  199.    )
  200. (CHARACTER C I
  201.    (CHARWD R 0.278000)
  202.    (CHARHT R 0.729000)
  203.    )
  204. (CHARACTER C J
  205.    (CHARWD R 0.500000)
  206.    (CHARHT R 0.729000)
  207.    (CHARDP R 0.026000)
  208.    )
  209. (CHARACTER C K
  210.    (CHARWD R 0.667000)
  211.    (CHARHT R 0.729000)
  212.    )
  213. (CHARACTER C L
  214.    (CHARWD R 0.556000)
  215.    (CHARHT R 0.729000)
  216.    )
  217. (CHARACTER C M
  218.    (CHARWD R 0.833000)
  219.    (CHARHT R 0.729000)
  220.    )
  221. (CHARACTER C N
  222.    (CHARWD R 0.722000)
  223.    (CHARHT R 0.729000)
  224.    )
  225. (CHARACTER C O
  226.    (CHARWD R 0.778000)
  227.    (CHARHT R 0.741000)
  228.    (CHARDP R 0.023000)
  229.    )
  230. (CHARACTER C P
  231.    (CHARWD R 0.667000)
  232.    (CHARHT R 0.730000)
  233.    )
  234. (CHARACTER C Q
  235.    (CHARWD R 0.778000)
  236.    (CHARHT R 0.741000)
  237.    (CHARDP R 0.059000)
  238.    )
  239. (CHARACTER C R
  240.    (CHARWD R 0.722000)
  241.    (CHARHT R 0.729000)
  242.    )
  243. (CHARACTER C S
  244.    (CHARWD R 0.667000)
  245.    (CHARHT R 0.741000)
  246.    (CHARDP R 0.023000)
  247.    )
  248. (CHARACTER C T
  249.    (CHARWD R 0.611000)
  250.    (CHARHT R 0.729000)
  251.    )
  252. (CHARACTER C U
  253.    (CHARWD R 0.722000)
  254.    (CHARHT R 0.729000)
  255.    (CHARDP R 0.023000)
  256.    )
  257. (CHARACTER C V
  258.    (CHARWD R 0.667000)
  259.    (CHARHT R 0.729000)
  260.    )
  261. (CHARACTER C W
  262.    (CHARWD R 0.944000)
  263.    (CHARHT R 0.729000)
  264.    )
  265. (CHARACTER C X
  266.    (CHARWD R 0.667000)
  267.    (CHARHT R 0.729000)
  268.    )
  269. (CHARACTER C Y
  270.    (CHARWD R 0.667000)
  271.    (CHARHT R 0.729000)
  272.    )
  273. (CHARACTER C Z
  274.    (CHARWD R 0.611000)
  275.    (CHARHT R 0.729000)
  276.    )
  277. (CHARACTER O 133
  278.    (CHARWD R 0.278000)
  279.    (CHARHT R 0.729000)
  280.    (CHARDP R 0.214000)
  281.    )
  282. (CHARACTER O 134
  283.    (CHARWD R 0.278000)
  284.    (CHARHT R 0.729000)
  285.    (CHARDP R 0.020000)
  286.    (CHARIC R 0.006000)
  287.    )
  288. (CHARACTER O 135
  289.    (CHARWD R 0.278000)
  290.    (CHARHT R 0.729000)
  291.    (CHARDP R 0.215000)
  292.    )
  293. (CHARACTER O 136
  294.    (CHARWD R 0.469000)
  295.    (CHARHT R 0.713000)
  296.    )
  297. (CHARACTER O 137
  298.    (CHARWD R 0.556000)
  299.    (CHARDP R 0.175000)
  300.    (CHARIC R 0.022000)
  301.    )
  302. (CHARACTER O 140
  303.    (CHARWD R 0.222000)
  304.    (CHARHT R 0.708000)
  305.    )
  306. (CHARACTER C a
  307.    (CHARWD R 0.534000)
  308.    (CHARHT R 0.583000)
  309.    )
  310. (CHARACTER C b
  311.    (CHARWD R 0.534000)
  312.    (CHARHT R 0.583000)
  313.    )
  314. (CHARACTER C c
  315.    (CHARWD R 0.578000)
  316.    (CHARHT R 0.593000)
  317.    (CHARDP R 0.017000)
  318.    )
  319. (CHARACTER C d
  320.    (CHARWD R 0.578000)
  321.    (CHARHT R 0.583000)
  322.    )
  323. (CHARACTER C e
  324.    (CHARWD R 0.534000)
  325.    (CHARHT R 0.583000)
  326.    )
  327. (CHARACTER C f
  328.    (CHARWD R 0.489000)
  329.    (CHARHT R 0.583000)
  330.    )
  331. (CHARACTER C g
  332.    (CHARWD R 0.622000)
  333.    (CHARHT R 0.593000)
  334.    (CHARDP R 0.017000)
  335.    )
  336. (CHARACTER C h
  337.    (CHARWD R 0.578000)
  338.    (CHARHT R 0.583000)
  339.    )
  340. (CHARACTER C i
  341.    (CHARWD R 0.222000)
  342.    (CHARHT R 0.583000)
  343.    )
  344. (CHARACTER C j
  345.    (CHARWD R 0.400000)
  346.    (CHARHT R 0.583000)
  347.    (CHARDP R 0.020000)
  348.    )
  349. (CHARACTER C k
  350.    (CHARWD R 0.534000)
  351.    (CHARHT R 0.583000)
  352.    )
  353. (CHARACTER C l
  354.    (CHARWD R 0.445000)
  355.    (CHARHT R 0.583000)
  356.    )
  357. (CHARACTER C m
  358.    (CHARWD R 0.666000)
  359.    (CHARHT R 0.583000)
  360.    )
  361. (CHARACTER C n
  362.    (CHARWD R 0.578000)
  363.    (CHARHT R 0.583000)
  364.    )
  365. (CHARACTER C o
  366.    (CHARWD R 0.622000)
  367.    (CHARHT R 0.593000)
  368.    (CHARDP R 0.017000)
  369.    )
  370. (CHARACTER C p
  371.    (CHARWD R 0.534000)
  372.    (CHARHT R 0.584000)
  373.    )
  374. (CHARACTER C q
  375.    (CHARWD R 0.622000)
  376.    (CHARHT R 0.593000)
  377.    (CHARDP R 0.046000)
  378.    )
  379. (CHARACTER C r
  380.    (CHARWD R 0.578000)
  381.    (CHARHT R 0.583000)
  382.    )
  383. (CHARACTER C s
  384.    (CHARWD R 0.534000)
  385.    (CHARHT R 0.593000)
  386.    (CHARDP R 0.017000)
  387.    )
  388. (CHARACTER C t
  389.    (CHARWD R 0.489000)
  390.    (CHARHT R 0.583000)
  391.    )
  392. (CHARACTER C u
  393.    (CHARWD R 0.578000)
  394.    (CHARHT R 0.583000)
  395.    (CHARDP R 0.017000)
  396.    )
  397. (CHARACTER C v
  398.    (CHARWD R 0.534000)
  399.    (CHARHT R 0.583000)
  400.    )
  401. (CHARACTER C w
  402.    (CHARWD R 0.755000)
  403.    (CHARHT R 0.583000)
  404.    )
  405. (CHARACTER C x
  406.    (CHARWD R 0.534000)
  407.    (CHARHT R 0.583000)
  408.    )
  409. (CHARACTER C y
  410.    (CHARWD R 0.534000)
  411.    (CHARHT R 0.583000)
  412.    )
  413. (CHARACTER C z
  414.    (CHARWD R 0.489000)
  415.    (CHARHT R 0.583000)
  416.    )
  417. (CHARACTER O 173
  418.    (CHARWD R 0.334000)
  419.    (CHARHT R 0.731000)
  420.    (CHARDP R 0.214000)
  421.    )
  422. (CHARACTER O 174
  423.    (CHARWD R 0.260000)
  424.    (CHARHT R 0.729000)
  425.    (CHARDP R 0.215000)
  426.    )
  427. (CHARACTER O 175
  428.    (CHARWD R 0.334000)
  429.    (CHARHT R 0.731000)
  430.    (CHARDP R 0.214000)
  431.    )
  432. (CHARACTER O 176
  433.    (CHARWD R 0.584000)
  434.    (CHARHT R 0.438000)
  435.    )
  436. (CHARACTER O 241
  437.    (CHARWD R 0.333000)
  438.    (CHARHT R 0.525000)
  439.    (CHARDP R 0.214000)
  440.    )
  441. (CHARACTER O 242
  442.    (CHARWD R 0.556000)
  443.    (CHARHT R 0.628000)
  444.    (CHARDP R 0.120000)
  445.    )
  446. (CHARACTER O 243
  447.    (CHARWD R 0.556000)
  448.    (CHARHT R 0.726000)
  449.    (CHARDP R 0.021000)
  450.    )
  451. (CHARACTER O 244
  452.    (CHARWD R 0.167000)
  453.    (CHARHT R 0.708000)
  454.    (CHARDP R 0.021000)
  455.    (CHARIC R 0.169000)
  456.    )
  457. (CHARACTER O 245
  458.    (CHARWD R 0.556000)
  459.    (CHARHT R 0.710000)
  460.    )
  461. (CHARACTER O 246
  462.    (CHARWD R 0.556000)
  463.    (CHARHT R 0.742000)
  464.    (CHARDP R 0.214000)
  465.    )
  466. (CHARACTER O 247
  467.    (CHARWD R 0.556000)
  468.    (CHARHT R 0.729000)
  469.    (CHARDP R 0.215000)
  470.    )
  471. (CHARACTER O 250
  472.    (CHARWD R 0.556000)
  473.    (CHARHT R 0.554000)
  474.    )
  475. (CHARACTER O 251
  476.    (CHARWD R 0.191000)
  477.    (CHARHT R 0.708000)
  478.    )
  479. (CHARACTER O 252
  480.    (CHARWD R 0.333000)
  481.    (CHARHT R 0.708000)
  482.    )
  483. (CHARACTER O 253
  484.    (CHARWD R 0.556000)
  485.    (CHARHT R 0.438000)
  486.    )
  487. (CHARACTER O 254
  488.    (CHARWD R 0.333000)
  489.    (CHARHT R 0.436000)
  490.    )
  491. (CHARACTER O 255
  492.    (CHARWD R 0.333000)
  493.    (CHARHT R 0.436000)
  494.    )
  495. (CHARACTER O 256
  496.    (CHARWD R 0.500000)
  497.    (CHARHT R 0.733000)
  498.    )
  499. (CHARACTER O 257
  500.    (CHARWD R 0.500000)
  501.    (CHARHT R 0.733000)
  502.    )
  503. (CHARACTER O 261
  504.    (CHARWD R 0.556000)
  505.    (CHARHT R 0.313000)
  506.    (CHARIC R 0.005000)
  507.    )
  508. (CHARACTER O 262
  509.    (CHARWD R 0.556000)
  510.    (CHARHT R 0.710000)
  511.    (CHARDP R 0.178000)
  512.    )
  513. (CHARACTER O 263
  514.    (CHARWD R 0.556000)
  515.    (CHARHT R 0.710000)
  516.    (CHARDP R 0.178000)
  517.    )
  518. (CHARACTER O 264
  519.    (CHARWD R 0.278000)
  520.    (CHARHT R 0.442000)
  521.    )
  522. (CHARACTER O 266
  523.    (CHARWD R 0.537000)
  524.    (CHARHT R 0.729000)
  525.    (CHARDP R 0.178000)
  526.    )
  527. (CHARACTER O 267
  528.    (CHARWD R 0.350000)
  529.    (CHARHT R 0.470000)
  530.    )
  531. (CHARACTER O 270
  532.    (CHARWD R 0.222000)
  533.    (CHARHT R 0.103000)
  534.    (CHARDP R 0.129000)
  535.    )
  536. (CHARACTER O 271
  537.    (CHARWD R 0.333000)
  538.    (CHARHT R 0.103000)
  539.    (CHARDP R 0.129000)
  540.    )
  541. (CHARACTER O 272
  542.    (CHARWD R 0.333000)
  543.    (CHARHT R 0.708000)
  544.    )
  545. (CHARACTER O 273
  546.    (CHARWD R 0.556000)
  547.    (CHARHT R 0.438000)
  548.    )
  549. (CHARACTER O 274
  550.    (CHARWD R 1.000000)
  551.    (CHARHT R 0.104000)
  552.    )
  553. (CHARACTER O 275
  554.    (CHARWD R 1.000000)
  555.    (CHARHT R 0.740000)
  556.    (CHARDP R 0.020000)
  557.    )
  558. (CHARACTER O 277
  559.    (CHARWD R 0.611000)
  560.    (CHARHT R 0.525000)
  561.    (CHARDP R 0.213000)
  562.    )
  563. (CHARACTER O 301
  564.    (CHARWD R 0.333000)
  565.    (CHARHT R 0.740000)
  566.    )
  567. (CHARACTER O 302
  568.    (CHARWD R 0.333000)
  569.    (CHARHT R 0.740000)
  570.    )
  571. (CHARACTER O 303
  572.    (CHARWD R 0.333000)
  573.    (CHARHT R 0.741000)
  574.    )
  575. (CHARACTER O 304
  576.    (CHARWD R 0.333000)
  577.    (CHARHT R 0.716000)
  578.    )
  579. (CHARACTER O 305
  580.    (CHARWD R 0.333000)
  581.    (CHARHT R 0.694000)
  582.    )
  583. (CHARACTER O 306
  584.    (CHARWD R 0.333000)
  585.    (CHARHT R 0.729000)
  586.    )
  587. (CHARACTER O 307
  588.    (CHARWD R 0.333000)
  589.    (CHARHT R 0.709000)
  590.    )
  591. (CHARACTER O 310
  592.    (CHARWD R 0.333000)
  593.    (CHARHT R 0.708000)
  594.    )
  595. (CHARACTER O 312
  596.    (CHARWD R 0.333000)
  597.    (CHARHT R 0.741000)
  598.    )
  599. (CHARACTER O 313
  600.    (CHARWD R 0.333000)
  601.    (CHARDP R 0.214000)
  602.    )
  603. (CHARACTER O 315
  604.    (CHARWD R 0.333000)
  605.    (CHARHT R 0.740000)
  606.    (CHARIC R 0.015000)
  607.    )
  608. (CHARACTER O 316
  609.    (CHARWD R 0.333000)
  610.    (CHARHT R 0.015000)
  611.    (CHARDP R 0.189000)
  612.    )
  613. (CHARACTER O 317
  614.    (CHARWD R 0.333000)
  615.    (CHARHT R 0.740000)
  616.    )
  617. (CHARACTER O 320
  618.    (CHARWD R 1.000000)
  619.    (CHARHT R 0.313000)
  620.    (CHARIC R 0.001000)
  621.    )
  622. (CHARACTER O 341
  623.    (CHARWD R 1.000000)
  624.    (CHARHT R 0.729000)
  625.    )
  626. (CHARACTER O 343
  627.    (CHARWD R 0.370000)
  628.    (CHARHT R 0.740000)
  629.    )
  630. (CHARACTER O 350
  631.    (CHARWD R 0.556000)
  632.    (CHARHT R 0.729000)
  633.    )
  634. (CHARACTER O 351
  635.    (CHARWD R 0.778000)
  636.    (CHARHT R 0.742000)
  637.    (CHARDP R 0.023000)
  638.    )
  639. (CHARACTER O 352
  640.    (CHARWD R 1.000000)
  641.    (CHARHT R 0.739000)
  642.    (CHARDP R 0.020000)
  643.    )
  644. (CHARACTER O 353
  645.    (CHARWD R 0.365000)
  646.    (CHARHT R 0.741000)
  647.    )
  648. (CHARACTER O 361
  649.    (CHARWD R 0.889000)
  650.    (CHARHT R 0.546000)
  651.    (CHARDP R 0.020000)
  652.    )
  653. (CHARACTER O 365
  654.    (CHARWD R 0.278000)
  655.    (CHARHT R 0.525000)
  656.    )
  657. (CHARACTER O 370
  658.    (CHARWD R 0.222000)
  659.    (CHARHT R 0.729000)
  660.    )
  661. (CHARACTER O 371
  662.    (CHARWD R 0.611000)
  663.    (CHARHT R 0.548000)
  664.    (CHARDP R 0.027000)
  665.    )
  666. (CHARACTER O 372
  667.    (CHARWD R 0.944000)
  668.    (CHARHT R 0.540000)
  669.    (CHARDP R 0.022000)
  670.    )
  671. (CHARACTER O 373
  672.    (CHARWD R 0.611000)
  673.    (CHARHT R 0.729000)
  674.    (CHARDP R 0.020000)
  675.    )
  676. (LIGTABLE
  677.    (LABEL O 101)
  678.    (KRN O 124 R -0.074000)
  679.    (KRN O 126 R -0.074000)
  680.    (KRN O 127 R -0.037000)
  681.    (KRN O 131 R -0.074000)
  682.    (KRN O 47 R -0.074000)
  683.    (KRN O 40 R -0.055000)
  684.    (KRN O 164 R -0.074000)
  685.    (KRN O 166 R -0.074000)
  686.    (KRN O 167 R -0.037000)
  687.    (KRN O 171 R -0.074000)
  688.    (STOP)
  689.    (LABEL O 106)
  690.    (KRN O 101 R -0.055000)
  691.    (KRN O 141 R -0.055000)
  692.    (KRN O 54 R -0.111000)
  693.    (KRN O 56 R -0.111000)
  694.    (STOP)
  695.    (LABEL O 114)
  696.    (KRN O 124 R -0.074000)
  697.    (KRN O 126 R -0.074000)
  698.    (KRN O 127 R -0.074000)
  699.    (KRN O 131 R -0.074000)
  700.    (KRN O 47 R -0.055000)
  701.    (KRN O 40 R -0.037000)
  702.    (KRN O 164 R -0.074000)
  703.    (KRN O 166 R -0.074000)
  704.    (KRN O 167 R -0.074000)
  705.    (KRN O 171 R -0.074000)
  706.    (STOP)
  707.    (LABEL O 120)
  708.    (KRN O 101 R -0.074000)
  709.    (KRN O 141 R -0.074000)
  710.    (KRN O 54 R -0.129000)
  711.    (KRN O 56 R -0.129000)
  712.    (KRN O 40 R -0.018000)
  713.    (STOP)
  714.    (LABEL O 122)
  715.    (KRN O 124 R -0.018000)
  716.    (KRN O 126 R -0.018000)
  717.    (KRN O 127 R -0.018000)
  718.    (KRN O 131 R -0.018000)
  719.    (KRN O 164 R -0.018000)
  720.    (KRN O 166 R -0.018000)
  721.    (KRN O 167 R -0.018000)
  722.    (KRN O 171 R -0.018000)
  723.    (STOP)
  724.    (LABEL O 124)
  725.    (KRN O 101 R -0.074000)
  726.    (KRN O 117 R -0.018000)
  727.    (KRN O 141 R -0.074000)
  728.    (KRN O 72 R -0.111000)
  729.    (KRN O 54 R -0.111000)
  730.    (KRN O 55 R -0.055000)
  731.    (KRN O 157 R -0.018000)
  732.    (KRN O 56 R -0.111000)
  733.    (KRN O 73 R -0.111000)
  734.    (KRN O 40 R -0.018000)
  735.    (STOP)
  736.    (LABEL O 126)
  737.    (KRN O 101 R -0.074000)
  738.    (KRN O 141 R -0.074000)
  739.    (KRN O 72 R -0.037000)
  740.    (KRN O 54 R -0.092000)
  741.    (KRN O 55 R -0.055000)
  742.    (KRN O 56 R -0.092000)
  743.    (KRN O 73 R -0.037000)
  744.    (STOP)
  745.    (LABEL O 127)
  746.    (KRN O 101 R -0.037000)
  747.    (KRN O 141 R -0.037000)
  748.    (KRN O 72 R -0.018000)
  749.    (KRN O 54 R -0.055000)
  750.    (KRN O 55 R -0.018000)
  751.    (KRN O 56 R -0.055000)
  752.    (KRN O 73 R -0.018000)
  753.    (STOP)
  754.    (LABEL O 131)
  755.    (KRN O 101 R -0.074000)
  756.    (KRN O 141 R -0.074000)
  757.    (KRN O 72 R -0.055000)
  758.    (KRN O 54 R -0.129000)
  759.    (KRN O 55 R -0.092000)
  760.    (KRN O 56 R -0.129000)
  761.    (KRN O 73 R -0.065000)
  762.    (KRN O 40 R -0.018000)
  763.    (STOP)
  764.    (LABEL O 141)
  765.    (KRN O 124 R -0.074000)
  766.    (KRN O 126 R -0.074000)
  767.    (KRN O 127 R -0.037000)
  768.    (KRN O 131 R -0.074000)
  769.    (KRN O 164 R -0.074000)
  770.    (KRN O 166 R -0.074000)
  771.    (KRN O 167 R -0.037000)
  772.    (KRN O 171 R -0.074000)
  773.    (STOP)
  774.    (LABEL O 146)
  775.    (KRN O 101 R -0.055000)
  776.    (KRN O 141 R -0.055000)
  777.    (STOP)
  778.    (LABEL O 154)
  779.    (KRN O 124 R -0.074000)
  780.    (KRN O 126 R -0.074000)
  781.    (KRN O 127 R -0.074000)
  782.    (KRN O 131 R -0.074000)
  783.    (KRN O 164 R -0.074000)
  784.    (KRN O 166 R -0.074000)
  785.    (KRN O 167 R -0.074000)
  786.    (KRN O 171 R -0.074000)
  787.    (STOP)
  788.    (LABEL O 61)
  789.    (KRN O 61 R -0.074000)
  790.    (STOP)
  791.    (LABEL O 160)
  792.    (KRN O 101 R -0.074000)
  793.    (KRN O 141 R -0.074000)
  794.    (STOP)
  795.    (LABEL O 47)
  796.    (LIG O 47 O 272)
  797.    (KRN O 40 R -0.037000)
  798.    (STOP)
  799.    (LABEL O 162)
  800.    (KRN O 124 R -0.018000)
  801.    (KRN O 126 R -0.018000)
  802.    (KRN O 127 R -0.018000)
  803.    (KRN O 131 R -0.018000)
  804.    (KRN O 164 R -0.018000)
  805.    (KRN O 166 R -0.018000)
  806.    (KRN O 167 R -0.018000)
  807.    (KRN O 171 R -0.018000)
  808.    (STOP)
  809.    (LABEL O 40)
  810.    (KRN O 101 R -0.055000)
  811.    (KRN O 124 R -0.018000)
  812.    (KRN O 131 R -0.018000)
  813.    (STOP)
  814.    (LABEL O 164)
  815.    (KRN O 101 R -0.074000)
  816.    (KRN O 117 R -0.018000)
  817.    (KRN O 141 R -0.074000)
  818.    (KRN O 157 R -0.018000)
  819.    (STOP)
  820.    (LABEL O 166)
  821.    (KRN O 101 R -0.074000)
  822.    (KRN O 141 R -0.074000)
  823.    (STOP)
  824.    (LABEL O 167)
  825.    (KRN O 101 R -0.037000)
  826.    (KRN O 141 R -0.037000)
  827.    (STOP)
  828.    (LABEL O 171)
  829.    (KRN O 101 R -0.074000)
  830.    (KRN O 141 R -0.074000)
  831.    (STOP)
  832.    (LABEL O 41)
  833.    (LIG O 140 O 241)
  834.    (STOP)
  835.    (LABEL O 77)
  836.    (LIG O 140 O 277)
  837.    (STOP)
  838.    (LABEL O 55)
  839.    (LIG O 55 O 261)
  840.    (STOP)
  841.    (LABEL O 261)
  842.    (LIG O 55 O 320)
  843.    (STOP)
  844.    (LABEL O 140)
  845.    (LIG O 140 O 252)
  846.    (STOP)
  847.    )
  848.